void remove_file(char []);
